W[A] => B